Automated reasoning about metric and topologyHUSTADT, Ullrich; TISHKOVSKY, Dmitry; WOLTER, Frank et al.Lecture notes in computer science. 2006, pp 490-493, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

Comparing instance generation methods for automated reasoningJACOBS, Swen; WALDMANN, Uwe.Lecture notes in computer science. 2005, pp 153-168, issn 0302-9743, isbn 3-540-28931-3, 16 p.Conference Paper

Automated reasoning tools for molecular biologyFAGES, Francois.Lecture notes in computer science. 2004, pp 1-2, issn 0302-9743, isbn 3-540-23166-8, 2 p.Conference Paper

The ICS decision procedures for embedded deductionDE MOURA, Leonardo; OWRE, Sam; RUESS, Harald et al.Lecture notes in computer science. 2004, pp 218-222, issn 0302-9743, isbn 3-540-22345-2, 5 p.Conference Paper

Formalizing undefinedness arising in calculusFARMER, William M.Lecture notes in computer science. 2004, pp 475-489, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

Automated reasoning (Cork, 4-8 July 2004)Basin, David; Rusinowitch, Michael.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22345-2, XII, 491 p, isbn 3-540-22345-2Conference Proceedings

The CADE ATP system competitionSUTCLIFFE, Geoff; SUTTNER, Christian.Lecture notes in computer science. 2004, pp 490-491, issn 0302-9743, isbn 3-540-22345-2, 2 p.Conference Paper

Enabling intelligent organizations : An electronic institutions approach for controlling and executing problem solving methodsROBLES P, Armando; PABLO NORIEGA, B. V; CANTU, Francisco et al.Lecture notes in computer science. 2005, pp 275-286, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 12 p.Conference Paper

The chisholm paradox and the situation calculusDEMOLOMBE, Robert; POZOS-PARRA, Pilar.Lecture notes in computer science. 2005, pp 425-434, issn 0302-9743, isbn 3-540-25878-7, 10 p.Conference Paper

TeMP: A temporal monodic proverHUSTADT, Ullrich; KONEV, Boris; RIAZANOV, Alexandre et al.Lecture notes in computer science. 2004, pp 326-330, issn 0302-9743, isbn 3-540-22345-2, 5 p.Conference Paper

Non-Markovian control in the Situation CalculusGABALDON, Alfredo.Artificial intelligence (General ed.). 2011, Vol 175, Num 1, pp 25-48, issn 0004-3702, 24 p.Article

Foundational challenges in automated semantic web data and ontology cleaningALONSO-JIMENEZ, José A; BORREGO-DIAZ, Joaquin; CHAVEZ-GONZALEZ, Antonia M et al.IEEE intelligent systems. 2006, Vol 21, Num 1, pp 42-52, issn 1541-1672, 11 p.Article

Counter-model search in Gödel-Dummett logicsLARCHEY-WENDLING, Dominique.Lecture notes in computer science. 2004, pp 274-288, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

A formal method toward reasoning about continuous changeCHUNPING LI.Lecture notes in computer science. 2004, pp 1174-1180, issn 0302-9743, isbn 3-540-24059-4, 7 p.Conference Paper

Property persistence in the situation calculusKELLY, Ryan F; PEARCE, Adrian R.Artificial intelligence (General ed.). 2010, Vol 174, Num 12-13, pp 865-888, issn 0004-3702, 24 p.Article

Strings and holes : An exercise on spatial reasoningCABALAR, Pedro; SANTOS, Paulo.Lecture notes in computer science. 2006, pp 419-429, issn 0302-9743, isbn 3-540-45462-4, 1Vol, 11 p.Conference Paper

Synthesis of programs in computational logicBASIN, David; DEVILLE, Yves; FLENER, Pierre et al.Program development in computational logic : a decade of research advances in logic-based program development. Lecture notes in computer science. 2004, pp 30-65, issn 0302-9743, isbn 3-540-22152-2, 36 p.Book Chapter

Formalizing O notation in Isabelle/HOLAVIGAD, Jeremy; DONNELLY, Kevin.Lecture notes in computer science. 2004, pp 357-371, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

System description: E 0.81SCHULZ, Stephan.Lecture notes in computer science. 2004, pp 223-228, issn 0302-9743, isbn 3-540-22345-2, 6 p.Conference Paper

(Non-)Succinctness of uniform interpolants of general terminologies in the description logic εLNIKITINA, Nadeschda; RUDOLPH, Sebastian.Artificial intelligence (General ed.). 2014, Vol 215, pp 120-140, issn 0004-3702, 21 p.Article

Supporting resource-based analysis of task information needsCREISSAC CAMPOS, José; DOHERTY, Gavin J.Lecture notes in computer science. 2006, pp 188-200, issn 0302-9743, isbn 3-540-34145-5, 1Vol, 13 p.Conference Paper

Autonomous and continuous evolution of information systemsJINGDE CHENG.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28894-5, vol1, 758-767Conference Paper

Four approaches to automated reasoning with differential algebraic structuresARANSAY, Jesus; BALLARIN, Clemens; RUBIO, Julio et al.Lecture notes in computer science. 2004, pp 222-235, issn 0302-9743, isbn 3-540-23212-5, 14 p.Conference Paper

Mechanizing Metatheory Without Typing ContextsJONGHYUN PARK; JEONGBONG SEO; SUNGWOO PARK et al.Journal of automated reasoning. 2014, Vol 52, Num 2, pp 215-239, issn 0168-7433, 25 p.Article

Specifying and computing preferred plansBIENVENU, Meghyn; FRITZ, Christian; MCILRAITH, Sheila A et al.Artificial intelligence (General ed.). 2011, Vol 175, Num 7-8, pp 1308-1345, issn 0004-3702, 38 p.Article